International Conference on Functional Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Functional Programming
Results: 84

#	Item
31	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:07:18 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming
32	Lindsey Kuper Programming Systems Lab, Intel Labs Intel Corporation 3600 Juliette Lane Santa Clara, CA 95054 Add to Reading List Source URL: composition.al Language: English Association for Computing Machinery Functional programming International Conference on Functional Programming Principles of Programming Languages SIGPLAN Continuation Parallel computing Programming Language Design and Implementation GrammaTech Computing Software engineering Computer programming
33	PDF Document Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:40 International Conference on Functional Programming Computer science Association for Computing Machinery Continuation Programming language Programming paradigm Software engineering Computing Functional programming
34	PDF Document Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2015-05-21 02:34:52 Determinism Philosophy of science Randomness Free will Indeterminism Distributed computing International Conference on Functional Programming Causality Philosophy Metaphysics
35	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:07 SIGPLAN Computing DYLA International Conference on Functional Programming Association for Computing Machinery Computer science Programming Language Design and Implementation
36	> (for-papers) ; call for papers 2007 Workshop on Scheme and Functional Programming Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:24 Year of birth missing Cross-platform software Scheme International Conference on Functional Programming Continuation William Clinger Programming paradigm Functional programming Programming language Software engineering Computing Software
37	John Hughes’ Publication List This is a list of my publications as of March 2009, with citation counts fetched from Google Scholar at that time. My most highly cited articles are [57, 15, 23, 64, 27, 38, 75, 71, 70, 72 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-28 10:11:57 Functional programming Association for Computing Machinery Functional languages International Conference on Functional Programming John Hughes Continuation Haskell QuickCheck SIGPLAN Software engineering Computing Programming language theory
38	Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-10 11:35:35 Type theory Functional programming Logic in computer science Dependently typed programming Data types International Conference on Functional Programming Dependent type ICFP Programming Contest POPLmark challenge Software engineering Computing Programming language theory
39	Delimited Control in OCaml, Abstractly and Concretely System Description http://okmij.org/ftp/Computation/Continuations.html FLOPS 2010 Add to Reading List Source URL: okmij.org Language: English - Date: 2010-05-04 22:13:58 Control flow Functional languages Continuations Delimited continuation OCaml Caml International Conference on Functional Programming ML Software engineering Computer programming Computing
40	Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-eﬀective form of lightweight program veriﬁcation. They provide Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-01 09:01:37 Type theory Functional programming Data types Functional languages International Conference on Functional Programming POPLmark challenge Principles of Programming Languages SIGPLAN Haskell Software engineering Computing Programming language theory